OPTIONS:=

3-sat: 3-sat.tex
	pdflatex 3-sat.tex

clean:
	rm -rf 3-sat.pdf
